(Fset_buffer_modified_p): Set buffer's

prevent_redisplay_optimizations_p flag.

diff --git a/src/buffer.c b/src/buffer.c
index e3f769ab41bf2a7e0acd1b861dd4d9a87215fcb2..f019863e80b92fddf2af580496a39895106467a8 100644 (file)
--- a/src/buffer.c
+++ b/src/buffer.c
@@ -894,7 +894,10 @@ A non-nil FLAG means mark the buffer modified.")
   XSETBUFFER (buffer, current_buffer);
   window = Fget_buffer_window (buffer, Qt);
   if (WINDOWP (window))
-    update_mode_lines++;
+    {
+      ++update_mode_lines;
+      current_buffer->prevent_redisplay_optimizations_p = 1;
+    }
   
   return flag;
 }